221. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
222. Uncertainty and intelligent information systems /
پدیدآورنده : editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
223. Unconventional models of computation, UMC'2K :
پدیدآورنده : I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
224. Variational analysis and aerospace engineerin
پدیدآورنده : / edited by Giuseppe Buttazzo, Aldo Frediani
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Calculus of variations--Congresses,Aerospace engineering--Congresses,Computational fluid dynamics--Congresses,Mathematical optimization--Congresses,Electronic books.
رده :
TA
,
347
,.
C3
,
V375
,
2009eb
225. Variational analysis and aerospace engineering :
پدیدآورنده : Giuseppe Buttazzo, Aldo Frediani, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aerospace engineering-- Mathematics, Congresses.,Calculus of variations, Congresses.,Mathematical optimization, Congresses.
رده :
QA315
.
V37
2012eb
226. Variational and free boundary problems
پدیدآورنده : Avner Friedman, Joel Spruck editors
کتابخانه: (طهران)
موضوع : Congresses ، Boundary value problems,Congresses ، Calculus of variations
رده :
QA
379
.
V3
227. Variational and free boundary problems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Boundary value problems-- Congresses,، Calculus of variations-- Congresses
رده :
QA
379
.
V357
1993
228. Variational methods for equilibrium problems of fluids : Trento, 20-25 Juin 1983
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Fluid dynamics,Congresses ، Calculus of variations,Congresses ، Boundary value problems
رده :
QA
3
.
A78
Vol
.
118
229. Variational methods for evolving objects
پدیدآورنده : edited by Luigi Ambrosio...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Calculus of variations,Congresses ، Differential equations, Nonlinear,Congresses ، Differential equations, Partial
رده :
QA
315
.
V374
230. Variational methods in engineering : proceedings on an international conference held at the University of Southampton, 25th September, 1972
پدیدآورنده : / Edited by [C. A. Brebbia, H. Tottenham for the] Department of Civil Engineering, University of Southampton
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Calculus of variations - Congresses,Engineering - Congresses
رده :
TA347
.
C3V37
231. Variational methods in the mechanics of solids :
پدیدآورنده : edited by S. Nemat-Nasser ; sponsored by International Union of Theoretical and Applied Mechanics, Solid Mechanics Division of the National Science Foundation, U.S. Army Research Office
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calculus of variations-- Congresses,Mechanics, Applied-- Mathematics-- Congresses
رده :
TA349
.
I87
1978
232. Variational methods in the mechanics of solids; Proceedings of the IUTAM Symposium on Variatitonal Methods in the Mechanics of Solids held at Northwestern University, Evanston, IIlinois,U.S.A.11-13 September 1978
پدیدآورنده : edited by S.Nemat-Nasser;Sponsored by international Union of the theoretical and Applied mechanics solid Mechanics Division of the National Science Foundation U.S.Army Resarch office
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Mechanics, Applied,Congresses ، Calculus of variations
رده :
TA
349
.
I87
1978
233. Views and Beliefs in Mathematics Education :
پدیدآورنده : editors, Benjamin Rott, Günter Törner, Joyce Peters-Dasdemir, Anne Möller and Safrudiannur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Study and teaching, Congresses.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics-- Study and teaching.
رده :
QA11
.
A1
234. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
235. XII Symposium of Probability and Stochastic Processes :
پدیدآورنده : Daniel Hernández-Hernández, Juan Carlos Pardo, Victor Rivero, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Probabilities, Congresses.,Stochastic processes, Congresses.,Calculus of variations.,Cybernetics & systems theory.,Differential calculus & equations.,Game theory.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Probabilities.,Probability & statistics.,Stochastic processes.
رده :
QA273
.
A1
236. complex analysis with vector calculus
پدیدآورنده : T.M.J.A Cooray
کتابخانه: (کرمان)
موضوع : functional analysis-congresses
رده :
QA
319
.
C6C6
